; TEST-ARGS: -disallow-ub-exploitation

@glb = constant [8 x i8] [i8 1, i8 0, i8 0, i8 0, i8 0, i8 0, i8 0, i8 0], align 8

define i8 @fn(ptr %p) null_pointer_is_valid {
  ; %p may alias with @glb
  %q = load ptr, ptr %p, align 1
  %v = load i8, ptr %q, align 1
  load i8, ptr @glb, align 1
  ret i8 %v
}
